This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, ...
Lire la suiteThis book includes organisational issues; productivity, effort estimation metrics; standards reference models; documentation ...
Lire la suiteThis book include virtualization, key management issues, web services and SOA, new management paradigms, experience implementing ...
Lire la suiteThis book proposes a unifying approach for the analysis and design of artificial cognitive systems: The Anticipatory Approach. The ...
Lire la suiteThe Common Component Modelling Example makes it possible to compare different approaches and to validate existing models. ...
Lire la suiteIt contains teaching concurrency; process languages; process mining; software engineering; state space visualisation techniques; ...
Lire la suiteThis book providing evidence of the continuing growth of a number of research streams. It includes articles that are extensions ...
Lire la suiteThe present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
Lire la suiteThe scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lire la suiteWireless sensor networks are currently being employed in a variety of applications ranging from medical to military, and ...
Lire la suite